Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Algebraic Data Types
Sum Types, Product Types, Pattern Matching, Enums
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18233
posts in
484.5
ms
GNU
C Language
Manual
gnu.org
·
13h
✏️
Code Editors
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Designing
Boring
Software with Functional Programming
agentultra.com
·
1d
💻
Programming languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for
Cylindrical
Algebraic
Decomposition
arxiv.org
·
1d
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Patterns
All the Way Down: A
Generalization
for Graph-Like Things
medium.com
·
16h
·
Discuss:
Hacker News
🎨
Chroma
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Problem
Solving
denvaar.dev
·
1d
🌳
Data Structures
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
MathGPT
Graphing
: fast interactive graphs with AI help
mathgpt.today
·
14h
·
Discuss:
Hacker News
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Sumo
Logic launches data pipeline apps for Snowflake and
Databricks
techzine.eu
·
16h
☁️
Cloudflare D1
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Simple Sudoku Solvers
SII
, EI:
Dyalog
APL
blog.veitheller.de
·
2d
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Evidence
that would update me towards a software-only fast
takeoff
lesswrong.com
·
2d
🔤
Font Rendering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
cognitect/transit-format
: A data
interchange
format.
github.com
·
19h
·
Discuss:
Hacker News
💾
Binary Formats
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Enhancing LLM-Based Data
Annotation
with Error
Decomposition
arxiv.org
·
1d
🦙
Ollama
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
shape
of data
scattered-thoughts.net
·
2d
⚙
Rust Compiler Internals
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-Modal Program
Verification
in
Velvet
proofsandintuitions.net
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
GeoForm
Kit – 96 Shapes,
Badges
, Vector Graphic
supply.family
·
1d
🎨
Design Tokens
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rainbow
Query
Language
rbql.org
·
1d
🔍
Paradedb
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reals
, Complex, Quaternions and
Octonions
nigelvr.github.io
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Kolmogorov
Complexity
en.wikipedia.org
·
20h
·
Discuss:
Hacker News
💻
Programming languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Making a Language
thunderseethe.dev
·
9h
💻
Programming languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Variation
on
Iota
toolofthought.com
·
2d
·
Discuss:
Hacker News
💾
Binary Formats
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Alchemist
: from
Brickbuilder
to a Databricks Marketplace App
databricks.com
·
1d
🦆
DuckDB
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help